(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 4 (symbol) t) '(5 12 (keyword) t) '(13 25 (pragma) t) '(26 29 (symbol) t) '(31 37 (keyword) t) '(57 62 (keyword) t) '(64 70 (keyword) t) '(79 80 (symbol) t) '(81 85 (primitivetype) t) '(86 91 (keyword) t) '(94 99 (keyword) t) '(112 113 (symbol) t) '(114 118 (primitivetype) t) '(119 123 (keyword) t) '(136 137 (symbol) t) '(157 158 (symbol) t) '(159 162 (primitivetype) t) '(166 220 (comment) t) '(227 228 (symbol) t) '(237 238 (symbol) t) '(239 243 (primitivetype) t) '(251 252 (symbol) t) '(264 318 (comment) t))
(agda2-highlight-add-annotations 'nil '(31 37 (keyword) t) '(38 56 (module) nil nil ("HighlightCopattern.agda" . 1)) '(57 62 (keyword) t) '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(104 111 (field) nil nil ("HighlightCopattern.agda" . 104)) '(124 131 (module) nil nil ("HighlightCopattern.agda" . 71)) '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(138 145 (record) nil nil ("HighlightCopattern.agda" . 71)) '(146 153 (field) nil nil ("HighlightCopattern.agda" . 104)) '(154 156 (function) nil nil ("HighlightCopattern.agda" . 133)) '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(229 236 (record) nil nil ("HighlightCopattern.agda" . 71)) '(244 248 (function) nil nil ("HighlightCopattern.agda" . 222)) '(249 250 (bound) nil nil ("HighlightCopattern.agda" . 249)) '(253 260 (field) nil nil ("HighlightCopattern.agda" . 104)) '(261 262 (bound) nil nil ("HighlightCopattern.agda" . 249)))
(agda2-highlight-add-annotations 'nil '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(79 80 (symbol) t) '(81 85 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(64 70 (keyword) t) '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(86 91 (keyword) t) '(94 99 (keyword) t) '(104 111 (field) nil nil ("HighlightCopattern.agda" . 104)) '(112 113 (symbol) t) '(114 118 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(119 123 (keyword) t) '(124 131 (module) nil nil ("HighlightCopattern.agda" . 71)))
(agda2-highlight-add-annotations 'nil '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(136 137 (symbol) t) '(138 145 (record) nil nil ("HighlightCopattern.agda" . 71)))
(agda2-highlight-add-annotations 'nil '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(146 153 (field) nil nil ("HighlightCopattern.agda" . 104)) '(154 156 (function) nil nil ("HighlightCopattern.agda" . 133)) '(157 158 (symbol) t) '(159 162 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(227 228 (symbol) t) '(229 236 (record) nil nil ("HighlightCopattern.agda" . 71)) '(237 238 (symbol) t) '(239 243 (primitivetype) t))
(agda2-highlight-add-annotations 'nil '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(244 248 (function) nil nil ("HighlightCopattern.agda" . 222)) '(249 250 (bound) nil nil ("HighlightCopattern.agda" . 249)) '(251 252 (symbol) t) '(253 260 (field) nil nil ("HighlightCopattern.agda" . 104)) '(261 262 (bound) nil nil ("HighlightCopattern.agda" . 249)))
(agda2-highlight-add-annotations 'nil '(31 37 (keyword) t) '(38 56 (module) nil nil ("HighlightCopattern.agda" . 1)) '(57 62 (keyword) t))
(agda2-highlight-add-annotations 'nil '(1 4 (symbol) t) '(5 12 (keyword) t) '(13 25 (pragma) t) '(26 29 (symbol) t) '(166 220 (comment) t) '(264 318 (comment) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
